From 3fd14604d4be9fa84ececfbc352dc170a00b0636 Mon Sep 17 00:00:00 2001 From: Tim Starling Date: Tue, 25 Oct 2005 07:01:04 +0000 Subject: [PATCH] Removed obsolete dump cruft --- includes/DefaultSettings.php | 5 ----- 1 file changed, 5 deletions(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index cdaea231ab..85de1a0acb 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -257,11 +257,6 @@ $wgMimeDetectorCommand= NULL; # use internal mime_content_type function, availab */ $wgTrivialMimeDetection= false; -/** - * Produce hashed HTML article paths. Used internally, do not set. - */ -$wgMakeDumpLinks = false; - /** * To set 'pretty' URL paths for actions other than * plain page views, add to this array. For instance: -- 2.20.1